Digital Library


Search: "[ keyword: Action Equation 3.0 ]" (1)
    Formal Semantics for Lambda Expression of Java
    Han Jung Lan KIPS Transactions on Computer and Communication Systems, Vol. 12, No. 5, pp. 157-164, May. 2023
    https://doi.org/10.3745/KTCCS.2023.12.5.157
    Keywords: Formal Semantics, Action Equation 3.0, Functional Interface, Specification of Semantics, Lambda Expression